$\vdash$  SQType($\mathbb{B}$)